<?php

	var_dump(017777777777);
	var_dump(020000000000);
	var_dump(020000000007);
	var_dump(-017777777777);
	var_dump(-020000000000);
	var_dump(-020000000007);

?>
